@echo off
SET OUT_PATH=docs\tests\benchmarking
rmdir /Q /S %OUT_PATH%

SET CONFIG_NAME=%1
SET START_TEST_TIME=%DATE% %TIME%
call runGenerator.bat ordinary_config %CONFIG_NAME% %OUT_PATH% >%CONFIG_NAME%.log
SET END_TEST_TIME=%DATE% %TIME%

SET START_TEST_TIME=%START_TEST_TIME:~0,-3%
SET END_TEST_TIME=%END_TEST_TIME:~0,-3%

echo %START_TEST_TIME%	%END_TEST_TIME%	%CONFIG_NAME%

echo %CONFIG_NAME%>>filesizes.log
dir docs\tests\benchmarking\differentdistributions\output>>filesizes.log 
echo ___________________________________ >> filesizes.log